Issue1976.agda:20,1-14
A != B of type Set
when checking that the clause F wrong = Set has type M.R B
